[IA64] replace lost EFI_RESERVED_TYPE dom0 passthrough
authorawilliam@xenbuild.aw <awilliam@xenbuild.aw>
Fri, 25 Aug 2006 22:21:39 +0000 (16:21 -0600)
committerawilliam@xenbuild.aw <awilliam@xenbuild.aw>
Fri, 25 Aug 2006 22:21:39 +0000 (16:21 -0600)
commit94f21d01c45524c9f09972624fb9aafc9d90dd25
treedca5a87dec337817be91fbef829bb757f242f029
parentca2696587ad3fcef892f16ed2f56684279907704
[IA64] replace lost EFI_RESERVED_TYPE dom0 passthrough

Some systems (HP Superdome in particular) place ACPI tables in
reserved memory regions, so we have to pass it through to dom0.

Signed-off-by: Alex Williamson <alex.williamson@hp.com>
xen/arch/ia64/xen/dom_fw.c